
void p143_main();
void tmp_main();
void crtp_main();

int main() {
	p143_main();
}
